Calculating Dimensionality [Вычисление размерности]
Программа преобразования пытается вычислить размерность выражений, созданных пользователем, если она не задана явно с помощью функций k() , in() и mm() . Порядок вычисления размерности следующий:
Присваивается размерность выражениям, созданным системой, и тем пользовательским выражениям, для которых она явно определена.
Проверяется соответствие размерности левой и правой частей записи выражения.
Пример:
Здесь,
p1 и p2 - выражения, созданные системой
var1 и var2 - пользовательские выражения
Программа преобразования определит размерность выражений следующим образом:
Присвоит p1 и p2 размерность 1.
Вычислит размерность var1 равной 1.
Вычислит размерность var2 равной 1.
